algebraic structure groupoid